You have chosen Porphyry, Arend Heyting and Arend Heyting.
All three must be different; choose another philosopher.